GALILEO: a strongly-typed, interactive conceptual language
نویسندگان
چکیده
منابع مشابه
HeDLa: A Strongly Typed, Component-Based Embedded Hardware Description Language
Over the past years, various techniques for the embedding of hardware description languages within general purpose languages have been developed and explored. In particular, numerous HDLs embedded in strongly typed functional languages have been developed and used for different applications. A common trait of most of these languages is that they treat hardware components as functions or relatio...
متن کاملStrongly Typed Genetic Programming
Genetic programming is a powerful method for automatically generating computer programs via the process of natural selection (Koza, 1992). However, in its standard form, there is no way to restrict the programs it generates to those where the functions operate on appropriate data types. In the case when the programs manipulate multiple data types and contain functions designed to operate on par...
متن کاملStrongly typed evolutionary programming
As the potential of applying machine learning techniques to perplexing problems is realised, increasingly complex problems are being tackled, requiring intricate explanations to be induced. Escher is a functional logic language whose higher-order constructs allow arbitrarily complex observations to be captured and highly expressive generalisations to be conveyed. The work presented in this thes...
متن کاملA Linear Kernel on Strongly Typed Terms
Support vector machines and other kernel methods have successfully been applied to various tasks in attribute-value learning. A kernel function is any function in input space that corresponds to an inner product in some feature space. In this discussion paper, we propose a kernel function on strongly typed first-order terms, and we show how this kernel corresponds to the linear inner product in...
متن کامل{ a Strongly-typed Embeddable Computer Algebra Library
We describe the new computer algebra library IT and its underlying design. The development of IT is motivated by the need to provide highly eecient implementations of key algorithms for linear ordinary diierential and (q)-diierence equations to scientiic programmers and to computer algebra system users, regardless of the programming language or interactive system they use. As such, IT is not a ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: ACM Transactions on Database Systems
سال: 1985
ISSN: 0362-5915,1557-4644
DOI: 10.1145/3857.3859